COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	.<<Put ".require waitex.pub" in at the front of a SAIL file and pub it.
C00004 ENDMK
C⊗;
.<<Put ".require waitex.pub" in at the front of a SAIL file and pub it.
.The effect is to translate all WAITS special characters into TEX source
.equivalents as well as translating those characters of WAITS ASCII 
.that aren't the same as ASCII into the ASCII equivalents.  The output
.file can then be FTPed to any computer with TEX, the file compiled
.with plain TEX and printed.  The result will be to print the original
.WAITS file almost just as it would be printed at SAIL.  This is good
.for giving foreigners SAIL files to read.>>
.device tty
.page frame 300 high 150 wide;
.area text lines 1 to 300;
.place text
.nofill

.at "λ" ⊂"\lambda "⊃
.at "α" ⊂"\alpha "⊃
.at "β" ⊂"\beta "⊃
.at "ε" ⊂"\epsilon "⊃
.at "π" ⊂"\pi "⊃
.at "∀" ⊂"\forall "⊃
.at "∃" ⊂"\exist "⊃
.at "≤" ⊂"\leq "⊃
.at "≥" ⊂"\geq "⊃
.at "≠" ⊂"\neq "⊃
.at "←" ⊂"\gets "⊃
.at "→" ⊂"\to "⊃
.at "↑" ⊂"\uparrow "⊃
.at "↓" ⊂"\downarrow "⊃
.at "∧" ⊂"\land "⊃
.at "∨" ⊂"\lor "⊃
.at "∂" ⊂"\partial "⊃
.at "∞" ⊂"\infinity "⊃
.at "≡" ⊂"\equiv "⊃
.at "∩" ⊂"\cap "⊃
.at "∪" ⊂"\cup "⊃
.at "⊂" ⊂"\supset "⊃
.at "⊃" ⊂"\subset "⊃
.at "_" ⊂"← "⊃
.at "¬" ⊂"\lnot "⊃
.at "⊗" ⊂"\otimes "⊃